Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
131	A Proposal to Add Safe Integer Types to the Standard Library Technical Report Document number: P0228R0 Add to Reading List Source URL: www.rrsd.com Language: English - Date: 2016-02-14 13:38:22 Software engineering Computing C++ Computer programming Data types Type theory C C++11 Primitive data type Type safety Boolean data type Template
132	Self-Applicable C Program Specialization Lars Ole Andersen DIKU, Department of Computer Science, University of Copenhagen Universitetsparken 1, DK-2100 Copenhagn Ø, Denmark E-mail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Software engineering Computing Computer programming Data types Procedural programming languages Subroutines Type theory Object-oriented programming languages Partial evaluation Symbol Eval Type system
133	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
134	Bare Bones Basic Type Of Spirits / Ghost By Gabreael Sunday, June 26, 2005 Add to Reading List Source URL: www.easternparanormal.com Language: English - Date: 2012-08-06 10:44:30 Paranormal Fringe theory Occult Ghost Undead Demon Ectoplasm Characters of Devil May Cry
135	SIM Profile Mark-Up Language V2 0 Final Release Candidate Version_04 Add to Reading List Source URL: simalliance.org Language: English - Date: 2015-03-26 18:46:30 Computing Procedural programming languages Enumerated type Type theory Enumeration MAD XML schema Subscriber identity module
136	Multipliers on rigid C ∗-tensor categories and Howe–Moore type theorems Jonas Wahl (joint with Y. Arano and T. de Laat) KU Leuven Greifswald, July 14, 2016 Add to Reading List Source URL: www.wiko-greifswald.de Language: English - Date: 2016-07-19 06:41:36 Algebra Abstract algebra Mathematics Monoidal categories Quantum group TannakaKrein duality Tensor Von Neumann algebra Representation theory Generalised Whitehead product
137	XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda Add to Reading List Source URL: gnome.inrialpes.fr Language: English - Date: 2014-10-07 08:54:38 Software engineering Logic Type theory Computer programming Data types Functional languages Recursive data type Monad Type inference FO XQuery Inference
138	An approach for the understanding of scientific application programs based on program specialization Sandrine Blazy, Philippe Facon CEDRIC IIE 18 allée Jean RostandEvry Cedex Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Data types Source code Subroutines Type theory Fortran Parameter Scope Variable Record
139	Programming with Enumerators: Constructive Approach to Challenge the Status Quo in Automated Data Structure Generation Ivan Kuraj CSAIL, MIT, USA Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Software engineering Computer programming Constraint programming Enumerated type Type theory Constraint satisfaction problem Generator Backtracking Data structure
140	ICM 2002 · Vol. II · 437–446 Knots, von Neumann Signatures, and Grope Cobordism Peter Teichner∗ Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Topology Knot theory Geometric topology Knot invariants 3-manifolds Surgery theory Tim Cochran Finite type invariant Knot complement Capped grope Arf invariant Cobordism

UPDATE